Durham University - PDFSEARCH.IO - Document Search Engine

Durham University
Results: 1342

#	Item
101	Hierarchies in Fragments of Monadic Strict NP Barnaby Martin and Florent Madelaine Department of Computer Science, University of Durham, Science Labs, South Road, Durham DH1 3LE, U.K. Abstract. We expose a strict hierar Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:42 Graph theory Mathematics Graph coloring Homomorphism Morphisms XTR Order
102	D-OGS Newsletter – July 2011 News & Articles of Interest to Durham-Orange genealogists PO Box 4703, Chapel Hill, NCdues – $20 President – VACANT POSITION Add to Reading List Source URL: dogsnc.org Language: English - Date: 2014-11-02 21:33:45 Confederate States of America East Coast of the United States Southern United States States of the Confederate States of America States of the United States United States Southern Historical Collection University of North Carolina at Chapel Hill Greenville South Carolina Genealogy Ontario Geological Survey North Carolina
103	FACT SHEET The Triangle Research Libraries Network (TRLN) is a collaborative organization of Duke University and North Carolina Central University (NCCU) in Durham, North Carolina State University (NCSU) in Raleigh, and Add to Reading List Source URL: trln.wpengine.com Language: English - Date: 2016-08-09 08:44:27 Library science North Carolina State University North Carolina University of North Carolina Librarian Library D. H. Hill Library University of Toronto Libraries
104	Yorkshire Durham Geometry Day Wednesday 29 October, 2014 Department of Mathematics, University of York Maths Coffee Room (G109, James College) Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2015-10-12 18:18:00 Congruence Differential topology
105	Quantified Constraints on Directed Graphs Barnaby Martin and Florent Madelaine Department of Computer Science, University of Durham, Science Labs, South Road, Durham DH1 3LE, U.K. Abstract We study the quantified H-colou Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:50 Graph theory Mathematics Discrete mathematics NP-complete problems Morphisms Graph coloring Graph homomorphism Degree Line graph
106	FAYETTEVILLE - Harold Joseph Ingle, 60, of 2040 Elvira St., passed away Monday, Aug. 17, 2009, in Duke University Medical Center in Durham. He was born April 13, 1949, in Buncombe County to the late Mr. and Mrs. Hubert M Add to Reading List Source URL: berlinbrats.org Language: English - Date: 2014-05-11 08:07:11 Geography of North Carolina North Carolina Fayetteville North Carolina Fayetteville North Carolina metropolitan area Ingle Fayetteville High School Fayetteville station Arkansas
107	Microsoft Word - Reportdec07.doc Add to Reading List Source URL: maths-magic.ac.uk Language: English - Date: 2015-05-19 08:37:08 Russell Group Education Online education Taught Course Centre Doctor of Philosophy Iversity University of Leeds University of Sheffield Course Durham University
108	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
109	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
110	Moein Moghimi, PhD Professor and Chair in Pharmaceutics, School of Medicine, Pharmacy and Health, Durham University (United Kingdom) Moein is the Professor of Pharmaceutics at Durham University (UK). He is also a full af Add to Reading List Source URL: www.bionanomed.at Language: English - Date: 2016-03-03 15:59:17 Nanomedicine Nanotechnology Nanotoxicology

UPDATE